Journal of Intelligent Information Systems, 10, 253–[removed]c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° SCDBR: An Automated Reasoner for Specifications of Database Updates

Source URL: web.ing.puc.cl

• Theoretical computer science
• Knowledge representation
• Logic in computer science
• Situation calculus
• Frame problem
• Prolog
• Axiom
• Fluent
• Database
• Logic programming
• Mathematics
• Mathematical logic

MathSciNet: Mathematical Reviews on the Web, a Review

Source URL: www.bcut.ro

• Knowledge
• Mathematical Reviews
• BibTeX
• Mathematics Subject Classification
• Mathematics
• Zentralblatt MATH
• Bing
• Journal of the European Mathematical Society
• Journal of Mathematical Logic
• Bibliographic databases
• Publishing
• Library science

On Vagueness, 4D and Diachronic Universalism Yuri Balashov Department of Philosophy, University of Georgia, Athens, GA 30602, USA [removed] [February 28, [removed]Final version published in The Australasian Journal of P

Source URL: www.yuribalashov.com

• Philosophy of time
• Metaphysics
• Four-dimensionalism
• Philosophy of physics
• Spacetime
• Ontology
• Temporal parts
• Mereology
• Vagueness
• Logic
• Mathematics
• Mathematical logic

This article was originally published in a journal published by Elsevier, and the attached copy is provided by Elsevier for the author’s benefit and for the benefit of the author’s institution, for non-commercial res

Source URL: www.math-inst.hu

• General topology
• Large cardinals
• Order theory
• Cardinal number
• Topological property
• Constructible universe
• Compact space
• Product topology
• Ordinal number
• Topology
• Mathematics
• Mathematical logic

Journal of Experimental Psychology: General Stability and Change in Markers of Core Numerical Competencies Robert Reeve, Fiona Reynolds, Judi Humberstone, and Brian Butterworth Online First Publication, March 12, 2012. d

Source URL: www.mathematicalbrain.com

• Mathematical logic
• Science
• Psychology
• Subitizing
• Brian Butterworth
• Approximate number system
• Mental chronometry
• Number
• Counting
• Mathematics
• Cognitive science
• Group theory

International Journal of General Systems, August 2003 Vol[removed]), pp. 343–360 OPENINGS AND CLOSURES OF FUZZY PREORDERINGS: THEORETICAL BASICS AND APPLICATIONS TO FUZZY RULE-BASED SYSTEMS ULRICH BODENHOFERa,*,†, MAR

Source URL: www.fuzzy.ugent.be

• Mathematics
• T-norm
• Fuzzy set
• BL
• Membership function
• Fuzzy rule
• Closure operator
• Indicator function
• T-norm fuzzy logics
• Fuzzy logic
• Logic
• Mathematical logic

The Emerald Research Register for this journal is available at http://www.emeraldinsight.com/researchregister The current issue and full text archive of this journal is available at http://www.emeraldinsight.com[removed]

Source URL: gregor.retti.info

• Technical communication
• Natural language processing
• Science
• Algorithm
• Mathematical logic
• Theoretical computer science
• Recursive transition network
• Augmented transition network
• Structured document
• Mathematics
• Computing
• Markup languages

Update date: October[removed]Journals in Translation Algebra Logic Algebra and Logic. Springer, New York. (Translation of Algebra Logika) ISSN[removed].

Source URL: ams.mpim-bonn.mpg.de

Journal on Satisfiability, Boolean Modeling and Computation[removed]Complexity of Semialgebraic Proofs with Restricted Degree of Falsity∗† Edward A. Hirsch Arist Kojevnikov

Source URL: jsat.ewi.tudelft.nl

• Mathematical logic
• Logic in computer science
• Computational complexity theory
• Proof complexity
• Function
• Mathematical proof
• Resolution
• Inequality
• Mathematics
• Theoretical computer science
• Automated theorem proving

Lifting-journal-final.dvi

Source URL: integer.tepper.cmu.edu

• Operator theory
• Ordinary differential equations
• Spectral theory
• Linear temporal logic
• Spectral theory of ordinary differential equations
• Mathematics
• Mathematical analysis
• Function